formal definition
英 [ˈfɔːml ˌdefɪˈnɪʃn]
美 [ˈfɔːrml ˌdefɪˈnɪʃn]
网络 形式定义; 正式定义; 形式化定义; 正式的定义
双语例句
- The use of a descriptive language to capture information gathered in interviews has some negative impacts on the formal definition of the needs and interfaces for the system ( s) and product ( s).
使用描述性的语言收集在面谈中获得的信息对系统和产品的需求和接口的形式化定义有一些消极的影响。 - UML is based on a relatively formal definition, known as a
UML基于一个相对规范的定义，也就是 - Once the service has been developed and the service interface is complete, you should capture the service WSDL and use it as the formal definition of the interface.
服务开发并完成了服务接口后，应该捕获服务WSDL，并将其作为接口的正式定义使用。 - In doing so, a formal definition of the service can be extended to support policies based upon endpoint definitions.
完成这些之后，服务的标准定义可以被扩展为多个端点之上策略支持。 - It also suffers from the lack of an authoritative formal definition, resulting in successive "add on" clarifications that have patched some of the holes in the original specification document.
它也缺少一种权威的正式定义，导致后来需要“附加”说明来修补原始规范文档的各种漏洞。 - Part of this second step is the formal definition of the trace between a specific business process activity and the corresponding identified business use case.
第二个步骤中的一部分是具体的业务流程活动及其相应的已确定的业务用例之间可追溯的形式化定义。 - The formal definition of TMX shown at the Localisation Industry Standards Association ( LISA) Web site states
LocalisationIndustryStandardsAssociation（本地化行业标准协会，LISA）网站上给出了TMX的正式定义 - This is the formal definition of the "standard" Scheme language.
这是“标准”Scheme语言的形式化定义。 - The formal definition is that the gravitational potential energy at a point P is the work that I, Walter Lewin, have to do to bring that mass from infinity to that point P.
形式定义就是，它在点P的重力势能，等于我，将物体从无穷远处，移动至点P所做的功。 - Let me first give you the formal definition of gravitational potential energy.
我先给你一个对于，重力势能的形式定义。 - The formal definition of Stilwell's assignment was meaningless, because the two principals in the agreement read it differently.
要给史迪威的使命下一个正式定义是没有意义的，因为协议中双方主要人物对之解释不同。 - In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the paper.
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。 - In a more formal definition, topic specialization starts with the containing element and works from the top down.
在更正式的定义中，主题专门化从包含元素开始，自顶向下工作。 - The formal definition of UML sequence diagram was used in the construction of a software comprehension and modeling tool.
UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具。 - The formal definition, meta-model and the schema of the coordination protocol were presented.
描述了框架中运行的协调协议的形式化定义、模型和语法结构。 - Also the formal definition of software architecture based on grid component is described in detail.
考虑了软件构件在网格系统环境下所表现出的新特性，提出了网格构件的概念，并对基于网格构件的体系结构进行了形式化的定义与描述； - Based on attributed graph theory, we give the formal definition of WSCG model.
同时，我们也给出了WSCG模型的形式化定义。 - The formal definition of GOOPN and its operation laws are given.
给出了GOOPN的形式定义及运行规则。 - The formal definition and the correctness criterion of consistent real-time commit protocol of distributed real-time transactions were introduced.
给出了分布式实时事务一致性实时提交协议的形式化定义和一致性实时提交协议的正确性准则； - The formal definition and feature of specification language GSL.
讨论了规格说明语言GSL的定义和特点； - But there is a mistake in this formal definition given in [ 3].
但是，[3]中给出的这个形式定义是错误的。 - This study is about the formal definition of class diagram, class diagram manipulation and transposition rules.
文中涉及了类图的形式化定义、类图的操作规则和两种模型之间的转换规则。 - Then the formal definition of extension knowledge representation is proposed and compared with several original methods of knowledge representation.
由此，提出了可拓知识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细的比较。 - The formal definition and semantics of fuzzy ER model are also proposed.
给出了模糊ER模型的形式化定义和语义。 - The RS theory gives a formal definition of knowledge so that the knowledge can be analyzed and manipulated effectively.
该理论对知识给出了形式化的定义，使得对知识能够进行有效的分析和操作。 - Based on ontology, we first give a formal definition of feature models and a set of consistency constraints.
基于本体，给出了特征模型的形式化定义和一致性约束。 - And give the modeling language of the formal definition. 3.
并对该模型建模语言进行了形式化定义。 - A formal definition of conflict is made and the detection algorithm is proposed and tested.
其次对关联冲突进行了形式化定义，并提出了检测算法，并对算法进行了实验验证。 - However, the judicial interpretations made no formal definition of the evidence relevance.
但是该司法解释对证据相关性的定义并没有作出正式规定。